Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis
نویسندگان
چکیده
When is a mathematical result deep? At first glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician Gian-Carlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas of mathematics. In this paper, we formalize this thesis, and show that in this formalization, Gian Carlo Rota’s thesis becomes a provable mathematical result. Mathematics Subject Classification: 00A30, 03A05, 68Q30
منابع مشابه
Ramsey's Theorem for «-dimensional Arrays
Introduction. An analogue to a theorem of Ramsey [5] has been conjectured for finite vector spaces by Gian-Carlo Rota. Namely, for each choice of positive integers fe, /, r, and finite field F = GF(q), there exists an integer N(k, /, r\ q) such that if n^N(k, I, r; q) and the ^-dimensional subspaces of an «-dimensional vector space V over F are partitioned into r classes, then some /-dimensiona...
متن کاملTowards psi-extension of Rota`s Finite Operator Calculus
ψ-extension of Gian-Carlo Rota's finite operator calculus due to Viskov [1, 2] is further developed. The extension relies on the notion of ∂ ψ-shift invariance and ∂ ψ-delta operators. Main statements of Rota's finite operator calculus are given their ψ-counterparts. This includes Sheffer ψ-polynomials properties and Rodrigues formula-among others. Such ψ-extended calculus delivers an elementar...
متن کاملProof of Symmetric Dose Distribution in Mammosite Applicator in Breast Brachytherapy with MCNP Simulation
Introduction: In brachytherapy treatments, high-dose sources are used in interstitial placement. In this paper, the modeling of a common breast cancer treatment applicator called MammoSite is done by the Monte Carlo simulation code. Then, to study and calculate the amount of doses in the breast and the dose rate of the organs at risk of radiation, including: lungs, ribs and ski...
متن کاملSolving Rota’s Conjecture
I n 1970, Gian-Carlo Rota posed a conjecture predicting a beautiful combinatorial characterization of linear dependence in vector spaces over any given finite field. We have recently completed a fifteen-year research program that culminated in a solution of Rota’s Conjecture. In this article we discuss the conjecture and give an overview of the proof. Matroids are a combinatorial abstraction of...
متن کاملIsabelle/UTP: A Mechanised Theory Engineering Framework
We introduce Isabelle/UTP, a novel mechanisation of Hoare and He’s Unifying Theories of Programming (UTP) in Isabelle/HOL. UTP is a framework for the study, formalisation, and unification of formal semantics. Our contributions are, firstly, a deep semantic model of UTP’s alphabetised predicates, supporting meta-logical reasoning that is parametric in the underlying notions of values and types. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014